int main() {
  return SEVENTEEN;
}
